Topological Consistency Checking and Refinement of Network-based Space Layouts
نویسنده
چکیده
Network-based space layouts are fine-grained models of architectural spaces. They include rich spatial relationships between layout elements. Such information tends to be limited in existing space representations in building information modeling (BIM) systems. Network-based space layouts could be useful in the space planning and building automation domains. Their main feature is a geometric network of spatial topological relationships between layout elements, which is useful for spatial analysis. A schema for network-based space layouts has been proposed recently. However, the schema does not sufficiently address the issue of topological consistency. Operations on inconsistent layouts may fail or lead to misleading results. This paper examines two topological consistency problems. The first is to check the topological consistency of a layout, and the second to refine a layout, that is, to transform an inconsistent layout into a consistent one.
منابع مشابه
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these separate, but related models during development and maintenance. This paper addresses the problem on how to maintain the consistency of UML class diagrams during various levels of refinement. We present a new approach to automated ...
متن کاملAutomatically Validating Model Consistency during Refinement
Automated consistency checking between software development models still remains a complex and non-scalable problem. Current solutions are frequently only able to detect small numbers of inconsistency types, often under less than realistic assumptions. This paper introduces a new approach to consistency checking based on model transformation. Our approach uses transformation to translate and to...
متن کاملNext Generation Requirements Engineering
Establishing and managing a ―good‖ set of requirements is one of the critical success factors for any space system project, and for the development of any complex product in general. The NextGenRE project sponsored by the European Space Agency has developed an innovative approach featuring the use of semantic wiki technology to enable users to specify structured, semantically-rich requirements ...
متن کاملVisualizing Schematic Maps through Generalization Based on Adaptive Regular Square Grid Model
Schematization is a quick visualization way to convey graphics information. In cartography, graphic schematization is one aspect of map generalization. This paper analyzes and summarizes the multiple criteria for schematic maps and quantifies these constraints functionally. Based on this, schematic map cartographic generalization framework based on the regular square grid is proposed. Furthermo...
متن کاملMore Anti-chain Based Refinement Checking
Refinement checking plays an important role in system verification. It establishes properties of an implementation by showing a refinement relationship between the implementation and a specification. Recently, it has been shown that anti-chain based approaches increase the efficiency of trace refinement checking significantly. In this work, we study the problem of adopting anti-chain for stable...
متن کامل